منابع مشابه
Back and forth bisimulations
This paper is concerned with bisimulation relations which do not only require related agents to simulate each others behavior in the direction of the arrows, but also to simulate each other when going back in history. First it is demonstrated that the back and forth variant of strong bisimulation leads to the same equivalence as the ordinary notion of strong bisimulation. Then it is shown that ...
متن کاملOntologies And Databases: Going Back And Forth
Interoperability of ontologies and databases has received a lot of attention recently. However, most of the work has concentrated on specific problems (such as storing an ontology in a database or making database data available to ontologies) and referred to specific models for each of the two. Here we propose an approach that aims at being more general and model independent. In fact, it works ...
متن کاملSuperposition and Decision Procedures Back and Forth
Two apparently different approaches to automating deduction are mentioned in the title; they are the subject of a debate on “big engines vs. little engines of proof”. The contributions in this thesis advocate that these two strands of research can interplay in subtle and sometimes unexpected ways, such that mutual pervasion can lead to intriguing results: Firstly, superposition can be run on to...
متن کاملSubshifts and Logic: Back and Forth
We study the Monadic Second Order (MSO) Hierarchy over colourings of the discrete plane, and draw links between classes of formula and classes of subshifts. We give a characterization of existential MSO in terms of projections of tilings, and of universal sentences in terms of combinations of “pattern counting” subshifts. Conversely, we characterise logic fragments corresponding to various clas...
متن کاملFlowing back and forth: a coronary malformation.
Martins D, et al. BMJ Case Rep 2017. doi:10.1136/bcr-2017-221360 Description This beautiful angiogram was obtained from an asymptomatic healthy 14-year-old male. Undergoing cardiovascular evaluation for sport practice, he had a normal physical examination except for a grade II low frequency murmur. Serial otherwise unremarkable ECGs revealed frequent monomorphic ventricular ectopy, which increa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science
سال: 2014
ISSN: 0036-8075,1095-9203
DOI: 10.1126/science.345.6203.1464-d